A formal framework for business process modelling and design

We present a formal framework for enterprise and business process modeling The concepts of our framework objectives and goals roles and actors actions and processes responsibil ities and constraints allow business analysts to capture enterprise knowledge in a way that is both intuitive and mathematically formal We also outline the basic steps of a methodology that allows business analysts to produce detailed formal speci cations of business processes from high level en terprise objectives The use of a formal language permits us to verify that the speci cations possess certain correctness properties namely that the responsibilities assigned to roles are ful lled and that constraints are maintained as a result of process execution